fpf{-}domain($f$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of($f$)